Commentary by Chris Pressey
===========================

<!--
Copyright (c) 2024 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit
exception: the ratings may be freely used for any purpose with no limitations.

Programming Languages
---------------

### PostScript Language Tutorial and Cookbook

*   rating: 1

.

### Systems Programming with Modula-3

*   rating: 0

Contains a really good quote about Lisp.

### Object-Oriented Programming in Eiffel

*   rating: 1

Contains some axioms for ADTs.

### Synchronous Functional Programming: The Lucid Synchrone Experiment

*   rating: 0

.

### What is ML/I?

*   rating: 1

.

### merd's home page

*   rating: 1

.

### GP (Graph Programs) - The Programming Languages and Systems Research Group

*   rating: 1

.

### The ABC Programming Language: a short introduction

*   rating: 1

.

### programming languages - How does Tarjan\'s pseudocode work (explained to someone familiar with C or Java)? - Computer Science Stack Exchange

*   rating: 1

.

### BASICO programming language

*   rating: 1

.

### (modal)

*   rating: 1

.

### Perl Source - www.cpan.org

*   rating: 1
*   useful: true

.

### Action! Programming Language Version 3.6 - Source Code : Optimized Systems Software : Free Download, Borrow, and Streaming : Internet Archive

*   rating: 1

.

### Pure Programming Language

*   rating: 1

.

### bondi

*   rating: 1

Barry Jay's (bond-eye) pattern language.  Pattern calculus.

### Refal

*   rating: 1

.

### GF - Grammatical Framework

*   rating: 1

.

### ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.

*   rating: 3

.

### c3d/xl: A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

*   rating: 1

.

### naver/tamgu: Tamgu (탐구), a FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation

*   rating: 1

.

### chrisdone/z: A strict, impure, curried, partially applied programming language with rather peculiar syntax.

*   rating: 1

.

### egison/egison: The Egison Programming Language

*   rating: 1

.

### samrushing/irken-compiler: Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

*   rating: 1

.

### Mesabloo/amethyst: A simple concatenative programming language

*   rating: 1

.

### manuel/wat-js: Concurrency and Metaprogramming for JS

*   rating: 2

.

### dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.

*   rating: 2

.

### alehander92/Airtight: a python-like language with hindley-milner-like type system, which is compiled to c

*   rating: 1

.

### clemahieu/mu: Mu is a modern, modular, system programming language and scripting toolchain

*   rating: 0

.

### xixixao/Shem: The compiler of the programming language Shem

*   rating: 1

.

### ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.

*   rating: 1

.

### UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets

*   rating: 1

.

### pro465/rhokell: rho calculus + haskell thrown into the mixer

*   rating: 1

.

### Danskydan/Hilltop: Hilltop is a text-based, general-purpose programming language and model that borrows concepts from spreadsheet programming.

*   rating: 1

.

### K \| Runtime Verification Inc

*   rating: 1

.